Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 95.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000105 | Stephane Demri [France] ; Didier Galmiche [France] ; Dominique Larchey-Wendling [France] ; Daniel Mery [France] | Separation Logic with One Quantified Variable |
| 000677 | Didier Galmiche [France] ; Yakoub Salhi [France] | Tree-sequent calculi and decision procedures for intuitionistic modal logics |
| 000726 | Jean-René Courtault [France] ; Hans Van Ditmarsch [France] ; Didier Galmiche [France] | An Epistemic Separation Logic |
| 000735 | Jean-René Courtault [France] ; Didier Galmiche [France] | A Modal Separation Logic for Resource Dynamics |
| 000789 | Didier Galmiche [France] ; David Pym [Royaume-Uni] | Special Issue on Logics for Resources, Processes, and Programs of Journal of Logic and Computation |
| 000966 | Dominique Larchey-Wendling [France] ; Didier Galmiche [France] | Looking at Separation Algebras with Boolean BI-eyes |
| 000B15 | Didier Galmiche [France] ; Stéphane Graham-Lengrand [France] | Special issue on computational logic in honour of Roy Dyckhoff. Journal of Logic and Computation. |
| 000B16 | Stephane Demri [France] ; Didier Galmiche [France] ; Dominique Larchey-Wendling [France] ; Daniel Mery [France] | Separation Logic with One Quantified Variable |
| 000E60 | Didier Galmiche [France] ; Stéphane Graham-Lengrand [France] | Special Issue on Computational Logic ( in honor to Roy Dyckhoff) of Journal of Logic and Computation |
| 000E88 | Philippe Balbiani [France] ; Vincent Demange [France] ; Didier Galmiche [France] | A sequent calculus with labels for Public Announcement Logic |
| 001321 | Dominique Larchey-Wendling [France] ; Didier Galmiche [France] | Nondeterministic Phase Semantics and the Undecidability of Boolean BI |
| 001674 | Didier Galmiche [France] ; Daniel Méry [France] | A Connection-based Characterization of Bi-intuitionistic Validity |
| 001765 | Jean-René Courtault [France] ; Didier Galmiche [France] ; Daniel Méry [France] | An Interactive Prover for Bi-intuitionistic Logic |
| 001788 | Jean-René Courtault [France] ; Didier Galmiche [France] | A Modal Extension of Boolean BI for Resource Transformations |
| 001789 | Jean-René Courtault [France] ; Didier Galmiche [France] | A Modal BI Logic for Dynamic Resource Properties |
| 001790 | Didier Galmiche [France] ; Dominique Larchey-Wendling [France] | 22nd Int. Conference on Automated Reasoning with Analytic Tableaux and Related Methods |
| 001C24 | Jack Copeland [France] ; Didier Galmiche [France] ; Dominique Larchey-Wendling [France] ; Joseph Vidal-Rosset [France] | Alan Turing |
| 001F14 | Jack Copeland ; Didier Galmiche [France] ; Dominique Larchey-Wendling [France] ; Joseph Vidal-Rosset [France] | Special issue of Philosophia Scientiae - Alan Turing |
| 002209 | Didier Galmiche [France] ; Daniel Mery [France] | A Connection-based Characterization of Bi-intuitionistic Validity |
| 002407 | Didier Galmiche [France] ; Daniel Mery [France] | Characterization of bi-intuitionistic validity through resource games |
| 002793 | Didier Galmiche [France] ; Daniel Méry [France] | A Connection-Based Characterization of Bi-intuitionistic Validity |
| 002802 | Didier Galmiche [France] ; Yakoub Salhi [France] | Sequent calculi and decidability for intuitionistic hybrid logic |
| 002B80 | Dominique Larchey-Wendling [France] ; Didier Galmiche [France] | The Undecidability of Boolean BI through Phase Semantics |
| 002E86 | Didier Galmiche [France] ; Yakoub Salhi [France] | Label-free Natural Deduction Systems for Intuitionistic and Classical Modal Logics |
| 002F19 | Didier Galmiche [France] ; Yakoub Salhi [France] | A Family of Gödel Hybrid Logics |
| 003061 | Didier Galmiche [France] ; Yakoub Salhi [France] | Label-Free Proof Systems for Intuitionistic Modal Logic IS5 |
| 003222 | Didier Galmiche [France] ; Dominique Larchey-Wendling [France] ; Joseph Vidal-Rosset [France] | Some Remarks on Relations between Proofs and Games |
| 003570 | Dominique Larchey-Wendling [France] ; Didier Galmiche [France] | Exploring the relation between intuitionistic bi and boolean bi: An unexpected embedding |
| 003812 | Didier Galmiche [France] ; Daniel Méry [France] | Tableaux and Resource Graphs for Separation Logic |
| 003F21 | Didier Galmiche [France] ; Yakoub Salhi [France] | Labelled Calculi for Lukasiewicz Logics |
| 003F44 | Didier Galmiche [France] ; Yakoub Salhi [France] | Calculi for an Intuitionistic Hybrid Modal Logic |
| 004529 | Didier Galmiche [France] | Resource Trees: Models and Separation Logic |
| 004804 | Didier Galmiche [France] ; Dominique Larchey-Wendling [France] ; Yakoub Salhi [France] | Provability and Countermodels in Gödel-Dummett Logics |
| 004806 | Didier Galmiche [France] ; Daniel Mery [France] | Connection-based proof search in intuitionistic logic from transitive closure of constraints |
| 004B91 | Didier Galmiche [France] | REVIEWS |
| 005196 | Didier Galmiche [France] | BI Logic, Resource Models and Proofs |
| 005483 | Didier Galmiche [France] ; Dominique Larchey-Wendling [France] | Expressivity Properties of Boolean BI Through Relational Models |
| 005C30 | Didier Galmiche [France] ; Daniel Mery [France] | Resource Graphs and Countermodels in Resource Logics |
| 006291 | Didier Galmiche [France] ; Daniel Méry [France] | Characterizing Provability in BI ’s Pointer Logic Through Resource Graphs |
| 006472 | Didier Galmiche [France] ; Nicolas Biri [France] | Resource Trees and XML Data Transformations - abstract |
| 006517 | Didier Galmiche [France] ; Estelle Dumoulin [France] | Labelled Structures and Provability in Resource Logics - extended abstract |
| 006547 | Didier Galmiche [France] ; Daniel Mery [France] | Characterizing Provability in BI's Pointer Logic through Resource Graphs |
| 006E99 | Nicolas Biri [France] ; Didier Galmiche [France] | Resource Tree and Logics for Distribution - abstract |
| 006F00 | Didier Galmiche [France] ; Daniel Méry [France] | Resource Graphs and Countermodels in Resource Logics |
| 006F09 | Didier Galmiche [France] ; Julien Gobillot [France] ; Daniel Méry [France] | Proofs and countermodels in BI's pointer logic |
| 006F63 | Didier Galmiche [France] ; Peter O'Hearn ; David Pym | Logics for Resources, Processes and Programs |
| 007456 | Didier Galmiche [France] ; Jean-Marc Notin [France] | Connection-based proof construction in Non-Commutative Logic |
| 007465 | Nicolas Biri [France] ; Didier Galmiche [France] | A Separation Logic for Resource Distribution |
| 007B10 | Nicolas Biri [France] ; Didier Galmiche [France] | A Separation Logic for Resource Distribution |
| 007D56 | Didier Galmiche [France] | Resource Models and Proofs in Bunched Implications Logic |
| 008750 | Didier Galmiche [France] ; Daniel Méry [France] ; David Pym [Royaume-Uni] | Resource Tableaux |
| 008823 | Didier Galmiche [France] ; Daniel Méry [France] | Connection-Based Proof Search in Propositional BI Logic |
| 008895 | Didier Galmiche [France] ; Daniel Mery [France] ; David Pym [Royaume-Uni] | Resource tableaux |
| 008965 | Didier Galmiche [France] ; Daniel Méry [France] ; David Pym | Resource Tableaux (extended abstract) |
| 008A76 | Didier Galmiche [France] | Resources, Labels and Proofs |
| 008B19 | Luc Habert [France] ; Jean-Marc Notin [France] ; Didier Galmiche [France] | LINK: a Proof Environment based on Proof nets |
| 008B61 | Didier Galmiche [France] ; Daniel Méry [France] | Connection-based proof search in propositional BI logic |
| 008C07 | Nicolas Biri [France] ; Didier Galmiche [France] | A Modal Linear Logic for Distribution and Mobility - extended abstract - |
| 008E11 | Didier Galmiche [France] ; Jean-Marie Notin [France] | Proof-search and Proof nets in Mixed Linear Logic |
| 009291 | D. Larchey-Wendling [France] ; D. Méry [France] ; Didier Galmiche [France] | STRIP: Structural Sharing for Efficient Proof-Search |
| 009306 | Didier Galmiche [France] ; Daniel Méry [France] | Proof-Search and Countermodel Generation in Propositional BI Logic |
| 009582 | Dominique Larchey-Wendling [France] ; Daniel Mery [France] ; Didier Galmiche [France] | STRIP: Structural Sharing for Efficient Proof-search |
| 009599 | Didier Galmiche [France] ; Daniel Méry [France] | Proof-search and countermodel generation in propositional BI Logic - extended abstract - |
| 009672 | Didier Galmiche [France] | Connection Methods in Linear Logic and Proof Nets Construction Generation in Mixed Logics |
| 009680 | Didier Galmiche [France] ; Jean-Marc Notin [France] | Calculi with dependency relations for Mixed Linear Logic |
| 009940 | Didier Galmiche [France] ; Dominique Larchey-Wendling [France] | Quantales as completions of ordered monoids: revised semantics for Intuitionistic Linear Logic |
| 009D18 | Didier Galmiche [France] ; David J. Pym [Royaume-Uni] | Proof-search in type-theoretic languages: an introduction |
| 009D99 | Didier Galmiche [France] | Workshop: Type-Theoretic Languages: Proof-Search and Semantics |
| 009E73 | Vincent Balat [France] ; Didier Galmiche [France] | Labelled Proof Systems for Intuitionistic Provability |
| 00A109 | Didier Galmiche [France] | Workshop on Type-theoretic Languages: Proof-search and Semantics |
| 00A122 | Didier Galmiche [France] ; David Pym | Theoretical Computer Science - Special issue on Proof search in Type-theoretic Languages |
| 00A147 | Didier Galmiche [France] ; Dominique Larchey-Wendling [France] ; Daniel Méry [France] | STRIP: Structural sharing and intuitionistic proof-search |
| 00A150 | Didier Galmiche [France] ; Dominique Larchey-Wendling [France] | Resource models and proof-search in Intuitionistic Linear Logic |
| 00A159 | Didier Galmiche [France] ; Jean-Marc Notin [France] | Proof-search in mixed linear logic - extended abstract. |
| 00A193 | Didier Galmiche [France] ; Vincent Balat | Labelled Proof Systems for Intuitionistic Provability |
| 00A479 | Didier Galmiche [France] ; Giorgio Delzanno ; Maurizio Martelli | A Specification Logic for Concurrent Object-oriented Programming |
| 00A932 | Didier Galmiche [France] ; Dominique Larchey-Wendling | Structural Sharing and Efficient Proof-Search in Propositional Intuitionistic Logic |
| 00AC22 | Didier Galmiche [France] ; Dominique Larchey-Wendling [France] | Structural Sharing and Efficient Proof-Search in Propositional Intuitionistic Logic |
| 00AC27 | Didier Galmiche [France] ; Jean-Paul Bahsoun ; José Luiz Fiadeiro | Special Issue on Proof Theory of Concurrent Object-Oriented Programming |
| 00AC29 | Didier Galmiche [France] | Some Issues about Proof Search in Linear Logic - abstract - |
| 00AC57 | Didier Galmiche [France] | Proof Plans and Proof Nets in Linear Logic -Abstract - |
| 00AD06 | Didier Galmiche [France] ; Dominique Larchey-Wendling [France] | From Ordered Monoids to Quantales and Petri Nets: Revised Semantics and Completeness Results in Intuitionistic Linear Logic |
| 00AE98 | Didier Galmiche [France] ; Dominique Larchey-Wendling | Provability in Intuitionistic Linear Logic from a New Interpretation on Petri nets - extended abstract - |
| 00AF04 | Didier Galmiche [France] | Connection proof search methods in Linear Logic and proof nets construction |
| 00B577 | Didier Galmiche [France] ; David Pym | Special Issue of Theoretical Computer Science (TCS) Proof-search in Type-theoretic Languages |
| 00B597 | Didier Galmiche [France] | Proof construction in linear logic and programming |
| 00B598 | Didier Galmiche [France] ; Vincent Balat [France] | Proof Systems for Intuitionistic Provability in Linear Logic |
| 00B646 | Didier Galmiche [France] ; Dominique Larchey-Wendling [France] | From ordered monoids to quantales and Petri nets: completeness results revisited in Intuitionistic Linear Logic |
| 00B648 | Didier Galmiche [France] ; Dominique Larchey-Wendling | Formulae-as-Resources Management for an Intuitionistic Theorem Prover |
| 00B713 | Didier Galmiche [France] ; Giorgio Delzanno ; Maurizio Martelli | A Specification Logic for Concurrent Object-Oriented Programming |
| 00CD86 | Didier Galmiche [France] ; Guy Perrier [France] | On Proof Normalization in Linear Logic |
| 00CD91 | Didier Galmiche [France] ; Guy Perrier [France] | Foundations of Proof Search Strategies Design in Linear Logic |
| 00D690 | Didier Galmiche [France] ; Guy Perrier [France] | Automated deduction in additive and multiplicative linear logic |
| 00D705 | Didier Galmiche [France] ; Guy Perrier [France] | A procedure for automatic proof nets construction |
| 00D719 | Didier Galmiche [France] ; Guy Perrier [France] | A procedure for automatic proof nets construction |
| This area was generated with Dilib version V0.6.33. |  |